منابع مشابه
Monotonic Modal Logics
Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: 3p∨3q → 3(p∨q). This generalisation means that Kripke structures no longer form an adequate semantics. Instead monotonic modal logics are interpreted over monotonic neighbourhood structures, that is, neighbourhood structures where the neighbourho...
متن کاملAutoepistemic Modal Logics
A modM approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980-82. Almost immediately some disadvantages of that approach were pointed out. Robert Moore (1983) proposed his atltoepistemic logic, which overcomes these difficulties. Later, some authors (Kurt Konolige, Paul Morris and others) found peculiarities of different kinds in Moore's logic and proposed rathe...
متن کاملParaconsistent Modal Logics
We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twist-structures, generalizing a known result ...
متن کاملModal Logics for Coalgebras
This presentation is to introduce basic notions and recent results on an approach to specify behaviors of coalgebras by means of modal logics, based on the lecture by Dirk Pattinson (Pattinson, 2003) in NASSLLI 2003.
متن کاملModal logics of answers
This paper aims to apply modal logics arising from partitionistic structures to the logic of questions and answers. Taking it for granted that a partition of possible worlds serves as a representation of a context, the idea of multi-contextual situation motivates the proposal of partitionistic structures. Logical properties of answers are represented by modal operators on such structures. 1 Mot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2015
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s175502031500026x